Symbolic computation - PDFSEARCH.IO - Document Search Engine

Symbolic computation
Results: 169

#	Item
131	Microsoft Word - COMP1012_outline.docx Add to Reading List Source URL: www.cs.umanitoba.ca Language: English - Date: 2011-09-06 16:32:13 Procedural programming languages Cross-platform software Computational science Numerical analysis Symbolic computation Programming language Matrix Spreadsheet C Computing Software Science
132	Symbolic Computation for Electronic Publishng Michael P. Barnett Department of Computer and Information Science, Brooklyn College of the City University of New York, Brooklyn, NY[removed]Internet: b a r n e t t e i t s . b Add to Reading List Source URL: tug.org Language: English - Date: 2011-10-16 21:02:52 Functions and mappings Computability theory Combinatory logic Lambda calculus Logic in computer science Function Big O notation Primitive recursive function Jan Willem Klop Mathematics Mathematical analysis Theoretical computer science
133	Package ‘mpoly’ July 2, 2014 Type Package Title Symbolic computation and more with multivariate polynomials Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 12:30:20 Abstract algebra Functions and mappings Differential calculus Linear algebra Vector calculus Derivative Polynomial Function Vector space Mathematics Algebra Mathematical analysis
134	DISCO within OntoJob and Follow-ups From Semantic Matching of CVs and Job Ads towards Holistic Vocational and Educational Assistance Dr. Mario Pichler +[removed] Add to Reading List Source URL: disco-tools.eu Language: English - Date: 2012-12-05 03:17:41 Disco Music Arts Technology Hagenberg im Mühlkreis Softwarepark Hagenberg Research Institute for Symbolic Computation
135	Symbolic Computation and Program Verification M˘ad˘alina Eras¸cu Research Institute for Symbolic Computation Johannes Kepler University, Linz, Austria [removed] Abstract Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2013-08-13 16:13:45 Mathematics Resultant Abstract algebra Algebra Polynomials
136	Unisoft Folder Overview 4.05 Add to Reading List Source URL: www.unisoftwareplus.com Language: English - Date: 2008-03-03 05:12:57 Wolfram Research Artificial intelligence Logic in computer science Cross-platform software Mathematica Fuzzy logic Symbolic computation Algorithm Numerical analysis Science Mathematical software Mathematics
137	E DITORIAL C. Allefeld, P. beim Graben, and J. Kurths University of Potsdam What is the origin of meaning? How does the brain achieve symbolic computation? What are the neural correlates of cognitive processes? These cha Add to Reading List Source URL: www.beimgraben.info Language: English - Date: 2012-06-30 07:28:17 Neurophysiology Electrophysiology Electroencephalography Neurotechnology Brain-computer interfacing Neural oscillation Plato Mismatch negativity Intracranial EEG Neuroscience Biology Science
138	KENZO a Symbolic Software for Eective Homology Computation \|{ Add to Reading List Source URL: www-fourier.ujf-grenoble.fr Language: English - Date: 2011-02-28 03:39:21 Mathematics Homology Serre spectral sequence Simplicial set Simplex CW complex Chain Simplicial homology Singular homology Topology Algebraic topology Abstract algebra
139	Journal of Logic and Computation Advance Access published February 20, 2009 Speculative Image Computation for Distributed Symbolic Reachability Analysis MING-YING CHUNG, Verification Group, Synopsys Inc. Mountain View, Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 21:54:36 Petri net Computer cluster Computing Concurrency Diagrams
140	UNIVERSITY OF CALIFORNIA RIVERSIDE Distributed Symbolic Reachability Analysis A Dissertation submitted in partial satisfaction Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2010-04-18 20:35:33 Applied mathematics Concurrency Models of computation Model checking Graph connectivity Petri net Hash table Reachability Algorithm Theoretical computer science Computing Complexity classes

UPDATE